Third International Symposium of VDM Europe Kiel, FRG, April 17–21, 1990 Proceedings
Lecture Notes in Computer Science > VDM '90 VDM and Z — Formal Methods in Software Development > 12-28
Lecture Notes in Computer Science > VDM '90 VDM and Z — Formal Methods in Software Development > 29-40
Lecture Notes in Computer Science > VDM '90 VDM and Z — Formal Methods in Software Development > 41-71
Lecture Notes in Computer Science > VDM '90 VDM and Z — Formal Methods in Software Development > 72-98
Lecture Notes in Computer Science > VDM '90 VDM and Z — Formal Methods in Software Development > 99-121
Lecture Notes in Computer Science > VDM '90 VDM and Z — Formal Methods in Software Development > 122-134
Lecture Notes in Computer Science > VDM '90 VDM and Z — Formal Methods in Software Development > 135-149
Lecture Notes in Computer Science > VDM '90 VDM and Z — Formal Methods in Software Development > 150-163
Lecture Notes in Computer Science > VDM '90 VDM and Z — Formal Methods in Software Development > 164-188
Lecture Notes in Computer Science > VDM '90 VDM and Z — Formal Methods in Software Development > 189-210
Lecture Notes in Computer Science > VDM '90 VDM and Z — Formal Methods in Software Development > 211-232
Lecture Notes in Computer Science > VDM '90 VDM and Z — Formal Methods in Software Development > 233-243
Lecture Notes in Computer Science > VDM '90 VDM and Z — Formal Methods in Software Development > 244-261
Lecture Notes in Computer Science > VDM '90 VDM and Z — Formal Methods in Software Development > 262-289
Lecture Notes in Computer Science > VDM '90 VDM and Z — Formal Methods in Software Development > 290-318
Lecture Notes in Computer Science > VDM '90 VDM and Z — Formal Methods in Software Development > 319-339
Lecture Notes in Computer Science > VDM '90 VDM and Z — Formal Methods in Software Development > 340-351
Lecture Notes in Computer Science > VDM '90 VDM and Z — Formal Methods in Software Development > 352-369